proof strategies